-
1 proof
1. nounin proof of — zum Beweis (+ Gen.)
the proof of the pudding is in the eating — (prov.) Probieren geht über Studieren (Spr.)
100 proof — (Brit.)
128 proof — (Amer.) 64 Vol.-% Alkohol
6) (Printing) Abzug, der2. adjective1) (impervious)be proof against something — unempfindlich gegen etwas sein; (fig.) gegen etwas immun sein
2) in comb. [kugel-, bruch-, einbruch-, diebes-, idioten]sicher; [schall-, wasser]dichtflame-proof — nicht brennbar
3) hochprozentig [Alkohol]this liqueur is 67.4° — (Brit.) or (Amer.)
3. transitive verb76.8° proof — dieser Likör hat 38,4 Vol.-% Alkohol
* * *[pru:f]1) ((a piece of) evidence, information etc that shows definitely that something is true: We still have no proof that he is innocent.) der Beweis2) (a first copy of a printed sheet, that can be corrected before the final printing: She was correcting the proofs of her novel.) die Korrekturfahne3) (in photography, the first print from a negative.) der Probeabzug•- academic.ru/114914/-proof">-proof* * *[pru:f]I. nto have \proof of sth einen Beweis für etw akk haben, etw beweisen können\proof of delivery Liefernachweis m\proof of purchase Kaufbeleg m, Quittung f SCHWEIZ, ÖSTERRthe burden of \proof LAW die Beweislast\proofs of sb's guilt Beweise für jds Schuld7. ECON\proof of debt Anmeldung f einer Konkursorderung8.▶ to put sth/sb to the \proof etw/jdn auf die Probe stellento be \proof against temptation gegen Versuchungen immun sein\proof against wind and weather wetterfestto be \proof against burglars einbruchssicher seinIII. vt▪ to \proof sth3. (rise) dough etw gehen lassen* * *[pruːf]1. n1) Beweis m (of für)as proof of — als or zum Beweis für
to put sth to the proof — etw auf die Probe stellen; (Tech) etw erproben
that is proof that... — das ist der Beweis dafür, dass...
to give or show proof of sth — etw nachweisen, den Nachweis für etw liefern
what proof is there that he meant it? — und was beweist, dass er es ernst gemeint hat?
2) (= test, trial) Probe fwithstanding these conditions is the proof of a good paint — es ist der Beweis für die Qualität einer Farbe, wenn sie solchen Bedingungen standhält
the proof of the pudding is in the eating (Prov) — Probieren or probieren geht über Studieren or studieren (Prov)
70% proof — ≈ 40 Vol-%
2. adj(= resistant)to be proof against fire/bullets — feuersicher/kugelsicher sein
3. vt1) (against water) imprägnieren* * *proof [pruːf]A adjproof against rain regenfest, -dicht2. gefeit, gewappnet, immun ( alle:against gegen):they are proof against such weather ein solches Wetter kann ihnen nichts anhaben3. unzugänglich (auch fig):proof against bribes unbestechlich;proof against entreaties unerbittlich4. Probe…, Prüf…:proof load Probebelastung f;proof stress Prüfspannung f6. US Feingold oder -silber betreffend, das die Münzämter der USA als Standard benutzenB s1. Beweis m, Nachweis m:give proof of etwas beweisen, unter Beweis stellen;proof of age Altersnachweis;proof of purchase Kaufbeleg m, -nachweis;proof to the contrary Gegenbeweis2. JUR Beweis(mittel) m(n oder pl), -stück n, Beleg(e) m(pl)3. JUR (schriftliche) (Beweis-, Zeugen-)Aussageput to the proof auf die Probe stellen;the proof of the pudding is in the eating (Sprichwort) Probieren geht über Studieren5. TYPOa) Korrekturfahne f, -bogen mclean proof Revisionsbogen;foul proof unkorrigierter Abzug;correct proofs, read proof Korrektur lesen7. a) Normalstärke f (alkoholischer Getränke)b) Proof n (Maß für den Alkoholgehalt von Getränken)C v/t* * *1. noun1) (fact, evidence) Beweis, der3) no pl. (proving)in proof of — zum Beweis (+ Gen.)
the proof of the pudding is in the eating — (prov.) Probieren geht über Studieren (Spr.)
100 proof — (Brit.)
128 proof — (Amer.) 64 Vol.-% Alkohol
6) (Printing) Abzug, der2. adjective1) (impervious)be proof against something — unempfindlich gegen etwas sein; (fig.) gegen etwas immun sein
2) in comb. [kugel-, bruch-, einbruch-, diebes-, idioten]sicher; [schall-, wasser]dicht3) hochprozentig [Alkohol]this liqueur is 67.4° — (Brit.) or (Amer.)
3. transitive verb76.8° proof — dieser Likör hat 38,4 Vol.-% Alkohol
* * *(printing) n.Abzug ¨-e m.Korrekturbogen m.Korrekturfahne f.Probeabzug m. adj.beständig adj.fest adj.sicher adj.undurchdringlich adj. n.Beweis -e m.Nachweis -e m.Probe -n f. v.beständig machen ausdr.dicht machen ausdr.imprägnieren v. -
2 abrasion
истирание; абразивный износ; абразивное истирание; шлифование; абразивная обработка; потёртость (порок стекла)- abrasion gettering - abrasion hardness - abrasion index - abrasion losses - abrasion machine - abrasion pattern - abrasion-proof - abrasion resistance - abrasion resistance index - abrasion resistant - abrasion-resistant - abrasion-resistant alloy - abrasion resistant coating - abrasion-resistant iron - abrasion-resistant cast iron - abrasion-resistant rubber - abrasion-resistant steel - abrasion-resisting - abrasion-resisting alloy - abrasion strength - abrasion test - abrasion tester - abrasion testing machine - abrasion wear -
3 press
1. уст. машина; печатный станок2. пресс; прессовать; давитьmultiple-deck press — многоплитный пресс; многоэтажный пресс
3. пресса; печать; печатать4. типографияto pass for press — сдавать в набор, сдавать в типографию
5. издательствоpress book — книга, выпущенная частным издательством
6. тиражный оттиск7. нажиматьto be off the press — выходить в свет, выходить из печати
autographic press — машина для печатания с литографских форм, изготовленных способом автографии
back-to-back perfecting press — машина с секциями типа «резина к резине»
baling press — пресс для упаковки бумаги в кипы, паковальный макулатурный пресс
belt press — печатная машина с ленточным формоносителем, печатная машина с формами, смонтированными на бесконечной ленте
blanket-to-blanket press — офсетная печатная машина с секциями типа «резина к резине»
8. машина для печатания книг, книжная печатная машинаpress conditions — данные, характеризующие состояние машины
9. переплётный прессBoston press — тигельная машина типа «Бостон»
bundling press — паковальный пресс; паковально-обжимной пресс
carbon tissue lay down press — переводной станок для пигментной бумаги, пигментно-переводной станок
10. нелегальная литератураcolor press — машина для многокрасочной печати, многокрасочная печатная машина
common-impression cylinder press — машина для многокрасочной печати с общим цилиндром, многокрасочная печатная машина планетарного типа
convertible press — машина, переналаживаемая на несколько вариантов печатания
copperplate printing press — машина металлографской печати, станок для печатания офортов
copying press — копировальная машина, копировальный аппарат
11. машина для печатания провинциальных газет12. провинциальная прессаcustom-built press — печатная машина, сконструированная по особому заказу
cutting creasing-and-embossing press — пресс для высечки, биговки и тиснения
decuple press — пятисекционная печатная машина, печатная машина с десятью печатными аппаратами, печатная машина с пятью секциями для двусторонней печати
digital input press — печатная машина с цифровым управлением; машина, печатающая без формы
Dilitho press — машина для печатания по способу «Ди-лито»
direct flat-bed cylinder press — плоскопечатная машина для непосредственного печатания с формы на бумаге
direct planographic rotary press — ротационная машина для непосредственного печатания с плоских форм на бумаге, ротационная литографская печатная машина
double acting printing press — плоскопечатная машина, в которой используются оба хода талера
13. рулонная печатная машина с двумя приёмными устройствамиpress noise — шум, создаваемый печатной машиной
14. рулонная печатная машина с поворотными штангамиdouble-feeder platen press — двухнакладный печатный станок; двухнакладная тигельная печатная машина
duodecuple press — шестисекционная печатная машина, печатная машина с двенадцатью печатными аппаратами, печатная машина с шестью секциями для двусторонней печати
eight-page press — узкорулонная печатная машина; машина, печатающая 8 страниц формата А4 в 4 краски за один прогон
engine press — печатная машина с механическим приводом, печатная машина с моторным приводом, приводная печатная машина
flexoprinting press — машина для печатания с эластичных форм, флексографская печатная машина
15. печатная машина линейного типа16. одноярусная печатная машинаfour pillar embossing press — четырёхколонный пресс; позолотный пресс
17. свободная прессаgranulating press — пресс — гранулятор
18. распространяемая бесплатно печатная продукцияfully automatic press — печатный автомат, полностью автоматизированная печатная машина
19. ручной пресс20. печатная машина с ручным приводом21. издания тайной типографии22. тайная типография23. нелегальная печать24. нелегальная типография25. машина для печатания через промежуточную поверхность26. печатная машина с офсетным цилиндромindirect flat-bed cylinder press — плоскопечатная машина для печатания через промежуточную поверхность
27. печатная машина секционного типа28. машина, входящая в состав поточной линииiron press — металлический печатный станок; металлический печатный пресс
label-cutting press — высекальная машина, машина для высечки этикеток
leftist press — левая печать; левая пресса
29. ручной корректурный станокprinting press — печатная машина; печатный станок
30. рычажный печатный станокliberty job printing press — тигельная печатная машина со сложным движением тигля иили талера перемещаются в вертикальном направлении
31. офсетная печатная машина, машина офсетной печатиBoston press — тигельная машина типа < Бостон>
32. литографская печатная машина33. обрезные тиски с гобелем34. ручной пресс переплётчикаmultistage press — многоплитный пресс; многоэтажный пресс
35. обжимной пресс36. матричный прессmash filter press — фильтр — пресс для отделения затора
37. пресс для изготовления пластмассовых стереотиповmulticolor flexographic press — многокрасочная флексографская печатная машина, многокрасочная машина для печатания с эластичных форм
multicolor flexographic rotary press — многокрасочная ротационная флексографская печатная машина, многокрасочная ротационная машина для печатания с эластичных форм
38. печатная машина одинарной ширины39. узкорулонная печатная машинаoctuple press — печатная машина с восемью печатными аппаратами; печатная машина с четырьмя секциями для двусторонней печати, четырёхсекционная печатная машина двойной ширины
offset press — офсетная печатная машина, машина офсетной печати
offset press for offices — малая офсетная машина конторского типа, ротапринт
offset gravure press — машина глубокой офсетной печати, машина глубокой печати с промежуточной передачей изображения
one-color press — машина для однокрасочной печати, однокрасочная печатная машина
pad-transfer press — тампопечатная машина, машина для тампопечати
128-page press — машина, печатающая за один цикл 128 страниц
paste ink letter press — машина высокой печати, использующая густотёртые краски
pillar press — пресс на колонне, колонный пресс
power press — приводная печатная машина, машина
printing press — печатная машина; печатный станок
production press — работающая печатная машина; машина, печатающая тиражные оттиски
40. пробопечатный станок41. корректурный станокquadruple press — печатная машина с четырьмя печатными аппаратами, печатная машина с двумя секциями для двусторонней печати
rightist press — правая печать; правая пресса
roller press — плоскопечатная машина с печатным аппаратом, состоящим из двух цилиндров
42. лощильный пресс43. машина металлографской печати -
4 press
1) (печатная) машина; уст. печатный станок2) пресс || прессовать; давить3) пресса; печать || печатать4) типография5) издательство6) тиражный оттиск7) нажимать (клавишу)- in press- D-pressАнгло-русский словарь по полиграфии и издательскому делу > press
-
5 Logic
My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)[L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)Historical dictionary of quotations in cognitive science > Logic
См. также в других словарях:
Proof that 22/7 exceeds π — Proofs of the famous mathematical result that the rational number 22⁄7 is greater than π date back to antiquity. What follows is a modern mathematical proof that 22⁄7 > π, requiring only elementary techniques from calculus. The purpose is not… … Wikipedia
Double counting (proof technique) — In combinatorics, double counting, also called counting in two ways, is a combinatorial proof technique for showing that two expressions are equal by demonstrating that they are two ways of counting the size of one set. In this technique, which… … Wikipedia
Enterprise 128 — Saltar a navegación, búsqueda Enterprise 128 vista superior … Wikipedia Español
Jewish philosophy — Colette Sirat INTRODUCTION The history of medieval Jewish philosophy can be divided into two consecutive periods. The first, beginning in the ninth century and ending roughly with the death of Maimonides in 1204, occurred in Islamic lands. The… … History of philosophy
Fernandel — (1903 1971) Actor and director. Fernandel was born Fernand Joseph Contandin in Marseille. His father was a performer (the stage name was Sined) in the café concerts, and Fernandel and his younger brother frequently joined him onstage as… … Historical Dictionary of French Cinema
Монеты США — 20 долларов Сент Годенса самая красивая[1] и дорогая монета США Монеты США монеты, чеканящиеся на Монетном дворе США. Выпускаются с 1792 года … Википедия
Shakespeare authorship question — … Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
Gun laws in the United States (by state) — U.S. Firearms Legal Topics Assault weapons ban ATF Bureau Brady Handgun Violence Prevention Act Concealed carry in the U.S. Domestic Violence Offender Gun Ban … Wikipedia
Список научных публикаций Альберта Эйнштейна — Альберт Эйнштейн (1879 1955) был известным специалистом по теоретической физике, который наиболее известен как разработчик общей и специальной теорий относительности. Он также внёс большой вклад в развитие статистической механики, особенно… … Википедия
Nate Marquardt — Born Nathan Joel Marquardt April 20, 1979 (1979 04 20) (age 32) Lander, Wyoming, U.S. Other names … Wikipedia